<?php
/**
 * Run this script with `php -S <addr>:<port> -t <WWW document root>`,
 * such as `php -S 0.0.0.0:8080 -t src/practical-trainning/`,
 * then visit <http://127.0.0.1:8080/> with script file name followed.
 */
echo <<< TEXT
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<title>The First PHP Page</title>
</head>
<body>
<h1>This Is the First PHP Page</h1>
</body>
</html>
TEXT;
